Prioritized and Non-prioritized Multiple Change on Belief Bases

نویسندگان

  • Marcelo A. Falappa
  • Gabriele Kern-Isberner
  • Maurício D. Luís Reis
  • Guillermo Ricardo Simari
چکیده

In this article we explore multiple change operators, that is, operators in which the epistemic input is a set of sentences instead of a single sentence. We propose two types of change: prioritized change, in which the input set is fully accepted, and symmetric change, in which both the epistemic state and the epistemic input are equally treated. In both kinds of operators we propose a set of postulates and we present different constructions: kernel changes and partial meet changes.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling knowledge dynamics in multi-agent systems based on informants

In this paper we model knowledge dynamics in agents’ belief bases in a collaborative multiagent system. Four change operators are introduced: expansion, contraction, prioritized revision, and non-prioritized revision. For all of them, both constructive definitions and an axiomatic characterization by representation theorems are given. We formally justify minimal change, consistency maintenance,...

متن کامل

Encoding Information Fusion in Possibilistic Logic: A General Framework for Rational Syntactic Merging

The problem of merging multiple sources information is central in many information processing areas such as databases integration problems, multiple criteria decision making, expert opinion pooling, etc. Recently, several approaches have been proposed to merge classical propositional bases, or sets of (non-prioritized) goals. These approaches are in general semantically defined. Like in belief ...

متن کامل

Shifting priorities: Simple representations for twenty-seven iterated theory change operators

Prioritized bases, i.e., weakly ordered sets of sentences, have been used for specifying an agent’s ‘basic’ or ‘explicit’ beliefs, or alternatively for compactly encoding an agent’s belief state without the claim that the elements of a base are in any sense basic. This paper focuses on the second interpretation and shows how a shifting of priorities in prioritized bases can be used for a simple...

متن کامل

Two representations for iterative non-prioritized change

We address a general representation problem for belief change, and describe two interrelated representations for iterative nonprioritized change: a logical representation in terms of persistent epistemic states, and a constructive representation in terms of flocks of bases.

متن کامل

Combining multiple prioritized knowledge bases by negotiation

Recently, several belief negotiation models have been introduced to deal with the problem of belief merging. A negotiation model usually consists of two functions: a negotiation function and a weakening function. A negotiation function is defined to choose the weakest sources and these sources will weaken their point of view using a weakening function. However, the currently available belief ne...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Philosophical Logic

دوره 41  شماره 

صفحات  -

تاریخ انتشار 2012